Dirichlet's box principle
ディリクレの部屋割り論法
pigeonhole principle